退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:精确BDD最小化不完全指定函数的隐式公式
Arlindo L. Oliveira; Luca P. Carloni; Tiziano Villa; Alberto Sangiovanni-Vincentelli;
机译:使用MTBDD对不完全指定功能的FORM进行最小化
机译:结合有序的最佳优先搜索与分支和绑定,以实现精确的BDD最小化
机译:朝向BDDS的精确最小化 - 一种基于精英的分布式进化算法
机译:精确地将不完全指定的函数的BDD最小化的隐式公式
机译:非线性弹性中的轴对称问题:能量最小化器的存在和整体注入以及新型的精确解。
机译:使用k-mer索引查找最大精确匹配时将固定采样与最小化采样进行比较
机译:不完全指定函数的固定极性Reed-Muller表达式的精确最小化
机译:垂直控制装置-功能防止塑料板漏水,并用自动卷盘构件及其构造方法将其抬起,以保持准确的垂直性并减小拉长的喷水现象
机译:活性剂和制剂,可最大程度减少或减轻膀胱的紧迫感和/或刺激性和/或增强性功能
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。